[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 95 102 149 0 1285 0 669 0

N.S.

1 1.07 1.15 1.67 0.00 14.44 0.00 7.52 0.00

time (sec)

N/A 0.297 0.519 1.818 0.000 0.310 0.000 0.448 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 282 168 356 0 0 0 804 0

N.S.

1 1.23 0.73 1.55 0.00 0.00 0.00 3.51 0.00

time (sec)

N/A 0.429 0.897 0.494 0.000 0.000 0.000 1.327 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 128 89 113 0 0 0 374 0

N.S.

1 1.00 0.70 0.88 0.00 0.00 0.00 2.92 0.00

time (sec)

N/A 0.640 0.411 0.354 0.000 0.000 0.000 0.915 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 68 86 0 147 0 0 0

N.S.

1 1.00 1.13 1.43 0.00 2.45 0.00 0.00 0.00

time (sec)

N/A 0.293 0.109 0.260 0.000 0.084 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 193 150 189 0 541 0 276 0

N.S.

1 1.44 1.12 1.41 0.00 4.04 0.00 2.06 0.00

time (sec)

N/A 0.355 0.660 0.631 0.000 0.093 0.000 0.501 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 334 201 456 0 2131 0 1118 0

N.S.

1 1.25 0.75 1.71 0.00 7.98 0.00 4.19 0.00

time (sec)

N/A 0.510 2.647 0.905 0.000 0.113 0.000 1.454 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 82 98 146 0 3038 0 0 0

N.S.

1 0.99 1.18 1.76 0.00 36.60 0.00 0.00 0.00

time (sec)

N/A 0.295 0.591 0.108 0.000 0.341 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 43 32 236 296 0 99 191

N.S.

1 1.00 1.19 0.89 6.56 8.22 0.00 2.75 5.31

time (sec)

N/A 0.231 0.241 0.090 0.289 0.272 0.000 0.561 1.641

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 81 98 154 0 1641 0 198 0

N.S.

1 0.96 1.17 1.83 0.00 19.54 0.00 2.36 0.00

time (sec)

N/A 0.294 0.490 0.120 0.000 0.314 0.000 0.481 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 145 134 251 0 4441 0 0 0

N.S.

1 1.04 0.96 1.81 0.00 31.95 0.00 0.00 0.00

time (sec)

N/A 0.348 0.791 0.105 0.000 0.478 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

341 370 211 500 0 0 0 1135 0

N.S.

1 1.09 0.62 1.47 0.00 0.00 0.00 3.33 0.00

time (sec)

N/A 0.535 1.222 1.241 0.000 0.000 0.000 3.495 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

256 295 156 313 0 0 0 586 0

N.S.

1 1.15 0.61 1.22 0.00 0.00 0.00 2.29 0.00

time (sec)

N/A 0.445 0.923 1.182 0.000 0.000 0.000 2.629 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 186 151 127 0 1155 0 0 0

N.S.

1 1.08 0.87 0.73 0.00 6.68 0.00 0.00 0.00

time (sec)

N/A 0.913 0.580 0.623 0.000 0.106 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 100 253 0 1464 0 0 0

N.S.

1 1.00 0.87 2.20 0.00 12.73 0.00 0.00 0.00

time (sec)

N/A 0.445 0.177 0.403 0.000 0.106 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

290 347 185 284 0 2829 0 0 0

N.S.

1 1.20 0.64 0.98 0.00 9.76 0.00 0.00 0.00

time (sec)

N/A 0.519 1.226 1.283 0.000 0.141 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 160 130 230 0 7938 0 0 0

N.S.

1 1.12 0.91 1.61 0.00 55.51 0.00 0.00 0.00

time (sec)

N/A 0.355 1.095 0.192 0.000 0.613 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 90 67 64 927 1214 0 276 148

N.S.

1 1.03 0.77 0.74 10.66 13.95 0.00 3.17 1.70

time (sec)

N/A 0.270 0.516 0.157 0.331 0.408 0.000 1.235 2.335

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 77 63 57 485 1186 0 254 133

N.S.

1 0.97 0.80 0.72 6.14 15.01 0.00 3.22 1.68

time (sec)

N/A 0.254 0.293 0.374 0.321 0.388 0.000 0.839 1.990

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 149 130 236 0 5342 0 404 0

N.S.

1 1.10 0.96 1.74 0.00 39.28 0.00 2.97 0.00

time (sec)

N/A 0.353 0.823 2.259 0.000 0.538 0.000 0.630 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

344 386 207 868 0 0 0 991 0

N.S.

1 1.12 0.60 2.52 0.00 0.00 0.00 2.88 0.00

time (sec)

N/A 0.552 1.954 1.874 0.000 0.000 0.000 5.668 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

244 295 198 659 0 4985 0 0 0

N.S.

1 1.21 0.81 2.70 0.00 20.43 0.00 0.00 0.00

time (sec)

N/A 0.428 1.465 1.213 0.000 0.207 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

241 251 187 598 0 4684 0 0 0

N.S.

1 1.04 0.78 2.48 0.00 19.44 0.00 0.00 0.00

time (sec)

N/A 1.240 1.404 1.239 0.000 0.206 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 258 190 406 0 5442 0 0 0

N.S.

1 1.03 0.76 1.62 0.00 21.68 0.00 0.00 0.00

time (sec)

N/A 1.250 1.053 0.809 0.000 0.216 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

385 448 234 747 0 8769 0 0 0

N.S.

1 1.16 0.61 1.94 0.00 22.78 0.00 0.00 0.00

time (sec)

N/A 0.637 2.095 1.998 0.000 0.354 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 15 5 8 0 5 0

N.S.

1 1.00 1.00 1.07 0.36 0.57 0.00 0.36 0.00

time (sec)

N/A 0.266 0.007 0.058 0.331 0.254 0.000 0.272 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 41 0 42 0 0 0

N.S.

1 1.00 1.00 3.73 0.00 3.82 0.00 0.00 0.00

time (sec)

N/A 0.171 0.031 0.209 0.000 0.084 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 33 61 0 42 0 0 0

N.S.

1 1.00 1.00 1.85 0.00 1.27 0.00 0.00 0.00

time (sec)

N/A 0.241 0.039 0.198 0.000 0.077 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B C C F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 34 5 13 0 5 0

N.S.

1 1.00 1.00 2.12 0.31 0.81 0.00 0.31 0.00

time (sec)

N/A 0.272 0.008 0.064 0.340 0.249 0.000 0.276 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 53 63 0 136 0 0 0

N.S.

1 1.00 1.26 1.50 0.00 3.24 0.00 0.00 0.00

time (sec)

N/A 0.272 0.044 0.309 0.000 0.084 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

128 128 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.326 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

226 224 0 0 0 0 0 0 0

N.S.

1 0.99 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.392 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

137 136 0 0 0 0 0 0 0

N.S.

1 0.99 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.307 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

78 78 78 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.241 0.735 0.000 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

88 88 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.266 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

87 87 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.269 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

88 88 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.272 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

103 103 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.287 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

101 101 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.341 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

99 99 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.287 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

103 103 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.287 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 81 82 164 188 192 182 85

N.S.

1 1.00 0.76 0.77 1.55 1.77 1.81 1.72 0.80

time (sec)

N/A 0.315 0.134 0.603 0.190 0.257 0.456 0.318 0.278

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 115 66 71 143 135 194 152 67

N.S.

1 1.16 0.67 0.72 1.44 1.36 1.96 1.54 0.68

time (sec)

N/A 0.321 0.080 0.406 0.218 0.253 0.333 0.339 0.485

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 79 60 120 105 117 122 55

N.S.

1 1.00 1.13 0.86 1.71 1.50 1.67 1.74 0.79

time (sec)

N/A 0.273 0.059 0.263 0.212 0.264 0.233 0.298 0.127

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 73 45 47 74 63 121 92 42

N.S.

1 1.22 0.75 0.78 1.23 1.05 2.02 1.53 0.70

time (sec)

N/A 0.262 0.077 0.190 0.202 0.251 0.154 0.319 1.548

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 34 28 59 47 41 59 29

N.S.

1 1.00 1.06 0.88 1.84 1.47 1.28 1.84 0.91

time (sec)

N/A 0.169 0.004 0.118 0.203 0.244 0.120 0.295 1.362

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 50 72 36 50 258 0 62 73

N.S.

1 1.25 1.80 0.90 1.25 6.45 0.00 1.55 1.82

time (sec)

N/A 0.252 0.035 0.148 0.178 0.266 0.000 0.336 1.497

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 35 23 47 40 0 59 47

N.S.

1 1.00 1.46 0.96 1.96 1.67 0.00 2.46 1.96

time (sec)

N/A 0.250 0.017 0.187 0.180 0.273 0.000 0.294 0.110

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 50 82 37 91 521 0 73 102

N.S.

1 1.28 2.10 0.95 2.33 13.36 0.00 1.87 2.62

time (sec)

N/A 0.255 0.007 0.166 0.179 0.276 0.000 0.305 0.101

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 76 36 131 652 0 62 110

N.S.

1 1.00 1.85 0.88 3.20 15.90 0.00 1.51 2.68

time (sec)

N/A 0.253 0.014 0.190 0.195 0.262 0.000 0.293 1.461

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 219 125 128 272 355 325 301 149

N.S.

1 1.14 0.65 0.67 1.42 1.85 1.69 1.57 0.78

time (sec)

N/A 0.421 0.621 1.447 0.221 0.262 0.935 0.318 1.703

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 133 122 237 274 340 260 126

N.S.

1 1.00 0.74 0.68 1.32 1.52 1.89 1.44 0.70

time (sec)

N/A 0.421 0.091 0.941 0.211 0.261 0.645 0.311 2.473

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 152 92 96 180 220 219 219 104

N.S.

1 1.17 0.71 0.74 1.38 1.69 1.68 1.68 0.80

time (sec)

N/A 0.341 0.321 0.678 0.215 0.268 0.450 0.342 0.271

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 94 83 151 160 212 178 85

N.S.

1 1.00 0.82 0.73 1.32 1.40 1.86 1.56 0.75

time (sec)

N/A 0.306 0.244 0.529 0.214 0.268 0.341 0.299 0.471

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 106 96 76 140 1052 0 154 177

N.S.

1 1.20 1.09 0.86 1.59 11.95 0.00 1.75 2.01

time (sec)

N/A 0.315 0.273 0.449 0.212 0.270 0.000 0.325 0.211

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 92 65 113 142 0 149 123

N.S.

1 1.00 1.12 0.79 1.38 1.73 0.00 1.82 1.50

time (sec)

N/A 0.317 0.248 0.339 0.193 0.264 0.000 0.395 1.485

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 91 126 63 152 1616 0 162 175

N.S.

1 1.18 1.64 0.82 1.97 20.99 0.00 2.10 2.27

time (sec)

N/A 0.305 0.014 0.334 0.184 0.295 0.000 0.350 1.446

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 81 65 170 1748 0 151 163

N.S.

1 1.00 1.07 0.86 2.24 23.00 0.00 1.99 2.14

time (sec)

N/A 0.306 0.326 0.303 0.203 0.291 0.000 0.342 0.134

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 105 170 66 188 2119 0 172 355

N.S.

1 1.17 1.89 0.73 2.09 23.54 0.00 1.91 3.94

time (sec)

N/A 0.334 0.165 0.328 0.200 0.306 0.000 0.366 0.153

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 216 73 303 2310 0 141 351

N.S.

1 1.00 2.45 0.83 3.44 26.25 0.00 1.60 3.99

time (sec)

N/A 0.318 0.702 0.286 0.197 0.302 0.000 0.336 1.424

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 151 256 90 316 3607 0 204 434

N.S.

1 1.14 1.92 0.68 2.38 27.12 0.00 1.53 3.26

time (sec)

N/A 0.382 0.216 0.378 0.216 0.279 0.000 0.337 0.170

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

291 291 194 188 387 568 498 431 231

N.S.

1 1.00 0.67 0.65 1.33 1.95 1.71 1.48 0.79

time (sec)

N/A 0.508 6.767 3.964 0.195 0.272 1.888 0.399 1.883

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 300 184 168 318 453 496 379 189

N.S.

1 1.12 0.69 0.63 1.19 1.70 1.86 1.42 0.71

time (sec)

N/A 0.509 4.798 2.945 0.189 0.278 1.364 0.365 3.889

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 204 159 141 280 380 340 327 164

N.S.

1 1.00 0.78 0.69 1.37 1.86 1.67 1.60 0.80

time (sec)

N/A 0.380 0.447 2.215 0.221 0.276 0.999 0.304 1.704

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 227 174 138 257 2609 0 279 315

N.S.

1 1.13 0.87 0.69 1.28 12.98 0.00 1.39 1.57

time (sec)

N/A 0.425 5.791 1.918 0.211 0.297 0.000 0.399 0.544

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 152 140 111 220 302 0 276 252

N.S.

1 1.00 0.92 0.73 1.45 1.99 0.00 1.82 1.66

time (sec)

N/A 0.381 4.587 0.925 0.213 0.279 0.000 0.402 0.416

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 179 166 115 244 3627 0 289 290

N.S.

1 1.15 1.06 0.74 1.56 23.25 0.00 1.85 1.86

time (sec)

N/A 0.403 5.140 0.894 0.214 0.307 0.000 0.402 1.683

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 129 186 101 260 3801 0 285 267

N.S.

1 1.00 1.44 0.78 2.02 29.47 0.00 2.21 2.07

time (sec)

N/A 0.348 4.841 0.736 0.212 0.312 0.000 0.410 1.623

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 168 239 108 255 4541 0 329 451

N.S.

1 1.14 1.61 0.73 1.72 30.68 0.00 2.22 3.05

time (sec)

N/A 0.396 7.207 0.734 0.189 0.322 0.000 0.460 1.636

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 238 99 365 4629 0 270 432

N.S.

1 1.00 1.82 0.76 2.79 35.34 0.00 2.06 3.30

time (sec)

N/A 0.358 3.876 0.658 0.215 0.317 0.000 0.468 1.557

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 188 269 119 355 6210 0 327 486

N.S.

1 1.13 1.62 0.72 2.14 37.41 0.00 1.97 2.93

time (sec)

N/A 0.415 3.490 0.600 0.193 0.337 0.000 0.467 0.306

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

328 328 168 236 0 28816 0 0 1579

N.S.

1 1.00 0.51 0.72 0.00 87.85 0.00 0.00 4.81

time (sec)

N/A 0.919 0.941 0.763 0.000 3.906 0.000 0.000 11.003

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

295 309 299 190 0 28427 0 0 1114

N.S.

1 1.05 1.01 0.64 0.00 96.36 0.00 0.00 3.78

time (sec)

N/A 0.829 0.842 0.717 0.000 2.110 0.000 0.000 12.295

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

303 303 214 123 0 20941 0 0 906

N.S.

1 1.00 0.71 0.41 0.00 69.11 0.00 0.00 2.99

time (sec)

N/A 0.757 0.498 0.523 0.000 1.039 0.000 0.000 24.350

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

294 303 145 124 0 27931 0 0 1498

N.S.

1 1.03 0.49 0.42 0.00 95.00 0.00 0.00 5.10

time (sec)

N/A 0.661 11.058 0.361 0.000 1.027 0.000 0.000 10.079

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

262 262 275 78 0 24063 0 0 932

N.S.

1 1.00 1.05 0.30 0.00 91.84 0.00 0.00 3.56

time (sec)

N/A 0.620 11.067 0.362 0.000 1.017 0.000 0.000 11.880

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

290 298 199 82 0 18312 0 0 857

N.S.

1 1.03 0.69 0.28 0.00 63.14 0.00 0.00 2.96

time (sec)

N/A 0.587 11.060 0.386 0.000 1.025 0.000 0.000 23.243

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

280 280 131 87 0 24084 0 0 1261

N.S.

1 1.00 0.47 0.31 0.00 86.01 0.00 0.00 4.50

time (sec)

N/A 0.553 11.052 0.326 0.000 1.012 0.000 0.000 10.362

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

286 298 307 98 0 28005 0 0 2970

N.S.

1 1.04 1.07 0.34 0.00 97.92 0.00 0.00 10.38

time (sec)

N/A 0.754 0.841 0.461 0.000 2.181 0.000 0.000 55.988

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

304 304 230 118 0 21133 0 0 1293

N.S.

1 1.00 0.76 0.39 0.00 69.52 0.00 0.00 4.25

time (sec)

N/A 0.756 0.796 0.569 0.000 1.046 0.000 0.000 24.139

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

322 332 191 138 0 29179 0 0 3605

N.S.

1 1.03 0.59 0.43 0.00 90.62 0.00 0.00 11.20

time (sec)

N/A 0.697 0.904 0.774 0.000 7.760 0.000 0.000 93.183

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

317 317 384 164 0 30233 0 0 3086

N.S.

1 1.00 1.21 0.52 0.00 95.37 0.00 0.00 9.74

time (sec)

N/A 0.823 5.200 0.914 0.000 4.994 0.000 0.000 60.835

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 147 156 60 0 185 5697 102 203

N.S.

1 1.06 1.12 0.43 0.00 1.33 40.99 0.73 1.46

time (sec)

N/A 0.444 5.334 0.240 0.000 0.286 30.686 0.273 1.848

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 156 60 0 187 5697 106 225

N.S.

1 1.00 1.17 0.45 0.00 1.41 42.83 0.80 1.69

time (sec)

N/A 0.421 5.285 0.239 0.000 0.276 43.272 0.286 2.855

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 150 82 74 175 174 306 155 88

N.S.

1 1.35 0.74 0.67 1.58 1.57 2.76 1.40 0.79

time (sec)

N/A 0.398 0.154 1.053 0.182 0.258 0.664 0.283 1.664

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 59 93 66 157 155 128 142 66

N.S.

1 0.88 1.39 0.99 2.34 2.31 1.91 2.12 0.99

time (sec)

N/A 0.277 0.013 0.641 0.189 0.249 0.456 0.293 1.529

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 114 63 56 122 109 206 113 64

N.S.

1 1.37 0.76 0.67 1.47 1.31 2.48 1.36 0.77

time (sec)

N/A 0.329 0.049 0.436 0.186 0.264 0.348 0.282 0.164

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 41 69 44 97 91 80 100 46

N.S.

1 0.89 1.50 0.96 2.11 1.98 1.74 2.17 1.00

time (sec)

N/A 0.231 0.009 0.283 0.179 0.264 0.220 0.298 0.108

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 49 36 66 59 100 66 38

N.S.

1 1.00 0.94 0.69 1.27 1.13 1.92 1.27 0.73

time (sec)

N/A 0.191 0.037 0.184 0.178 0.259 0.174 0.273 1.434

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 36 70 36 71 395 0 78 96

N.S.

1 0.86 1.67 0.86 1.69 9.40 0.00 1.86 2.29

time (sec)

N/A 0.248 0.014 0.258 0.195 0.286 0.000 0.293 0.135

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 54 45 39 54 70 0 88 54

N.S.

1 1.38 1.15 1.00 1.38 1.79 0.00 2.26 1.38

time (sec)

N/A 0.266 0.076 0.255 0.179 0.264 0.000 0.297 1.465

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 53 101 38 115 690 0 107 126

N.S.

1 1.13 2.15 0.81 2.45 14.68 0.00 2.28 2.68

time (sec)

N/A 0.253 0.014 0.227 0.183 0.279 0.000 0.303 1.458

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 35 40 33 97 129 0 45 81

N.S.

1 1.13 1.29 1.06 3.13 4.16 0.00 1.45 2.61

time (sec)

N/A 0.256 0.008 0.214 0.208 0.257 0.000 0.322 1.439

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 79 158 54 174 1476 0 124 242

N.S.

1 1.23 2.47 0.84 2.72 23.06 0.00 1.94 3.78

time (sec)

N/A 0.266 0.077 0.255 0.214 0.269 0.000 0.303 1.475

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 42 71 45 228 333 0 97 337

N.S.

1 0.89 1.51 0.96 4.85 7.09 0.00 2.06 7.17

time (sec)

N/A 0.258 0.078 0.299 0.190 0.263 0.000 0.297 1.476

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 107 237 78 268 3115 0 207 472

N.S.

1 1.16 2.58 0.85 2.91 33.86 0.00 2.25 5.13

time (sec)

N/A 0.281 0.143 0.381 0.220 0.307 0.000 0.297 1.507

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 106 207 130 307 404 280 278 150

N.S.

1 0.88 1.72 1.08 2.56 3.37 2.33 2.32 1.25

time (sec)

N/A 0.343 0.240 3.497 0.219 0.267 1.857 0.336 0.371

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 208 139 114 260 305 484 241 149

N.S.

1 1.29 0.86 0.71 1.61 1.89 3.01 1.50 0.93

time (sec)

N/A 0.683 0.382 2.372 0.193 0.261 1.373 0.320 0.450

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 81 164 100 226 279 204 220 111

N.S.

1 0.88 1.78 1.09 2.46 3.03 2.22 2.39 1.21

time (sec)

N/A 0.294 0.021 1.701 0.211 0.269 0.976 0.359 1.610

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 164 92 86 183 205 332 183 108

N.S.

1 1.31 0.74 0.69 1.46 1.64 2.66 1.46 0.86

time (sec)

N/A 0.460 0.274 1.333 0.228 0.280 0.709 0.280 0.291

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 80 146 82 177 1575 0 196 198

N.S.

1 0.87 1.59 0.89 1.92 17.12 0.00 2.13 2.15

time (sec)

N/A 0.292 0.020 1.167 0.201 0.282 0.000 0.345 0.347

[next] [prev] [prev-tail] [front] [up]